Biblioteca Dr. Antonio Monteiro · Catálogo | |
03 | Mathematical logic and foundations | ||
03B | General logic | ||
03B25 | Decidability of theories and sets of sentences [See also 11U05, 12L05, 20F10] | ||
03C | Model theory | ||
03C05 | Equational classes, universal algebra [See also 08Axx, 08Bxx, 18C05] | ||
03D | Computability and recursion theory | ||
03D35 | Undecidability and degrees of sets of sentences | ||
08 | General algebraic systems | ||
08B | Varieties [See also 03C05] | ||
08B05 | Equational logic, Malcev (Maltsev) conditions |
Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.
Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com